על שטחים ואינטגרלים נושא – אקסיומת השלמות % Necessary Commands: \usepackage{autobreak} \usepackage[T1]{fontenc} \usepackage{relsize} % Set vertical space before and after dislpay equations to be longer for better redability: \AtBeginDocument{\setlength\abovedisplayskip{6pt}} \AtBeginDocument{\setlength\belowdisplayskip{6pt}} \AtBeginDocument{\setlength\belowdisplayshortskip{6pt}} \AtBeginDocument{\setlength\belowdisplayshortskip{6pt}} % The head's design for summuries,make the layout more similar to a book: \AtBeginDocument{ \renewcommand\headrule{% \kern -7pt \hbox to \textwidth{\hfill\vrule height 0.5pt width 1\textwidth} \kern 10pt }} % The footnoterule's design, put it on the right side. \AtBeginDocument{ \renewcommand\footnoterule{% \kern 3pt \hbox to \textwidth{\hfill\vrule height 0.5pt width 0.4\textwidth} \kern 4pt }} % Set space between words to be wider: \spaceskip=1.3\fontdimen2\font plus 1\fontdimen3\font minus 1.5\fontdimen4\font % Convert the Lyx colors into more pleasent colors: \usepackage{xcolor} \definecolor{blue}{RGB}{12,97,197} \definecolor{brown}{RGB}{154,58,0} \definecolor{green}{RGB}{0,128,40} \definecolor{orange}{RGB}{255,114,38} \definecolor{purple}{RGB}{94,53,177} \definecolor{red}{RGB}{235,16,16} % Convert the QED Symbol at the end of proofs to a solid black square (credit: Yakir Oz): \usepackage{amssymb} \renewcommand{\qedsymbol}{$\blacksquare$} % Make the layout more similar to Hebrew Article, which I am more used to: \renewcommand*{\@seccntformat}[1]{\hspace{0.5cm}\csname the#1\endcsname\hspace{0.5cm}} \usepackage{titlesec} \titleformat{\section}{\fontsize{20}{20}\bfseries}{\thesection}{10pt}{} \titleformat{\subsection}{\fontsize{15}{15}\bfseries}{\thesubsection}{10pt}{} \titleformat{\subsubsection}{\bfseries}{\thesubsubsection}{10pt}{} % Correct the reversed parentheses in labels: \usepackage{polyglossia} \setmainlanguage{hebrew} \newfontfamily{\hebrewfont}{David} \makeatletter \def\maketag@@@#1{\hbox{\m@th\normalfont\LRE{#1}}} \def\tagform@#1{\maketag@@@{(\ignorespaces#1\unskip)}} \makeatother % Create disjoint union symbols: \makeatletter \def\moverlay{\mathpalette\mov@rlay} \def\mov@rlay#1#2{\leavevmode\vtop{% \baselineskip\z@skip \lineskiplimit-\maxdimen \ialign{\hfil$\m@th#1##$\hfil\cr#2\crcr}}} \newcommand{\charfusion}[3][\mathord]{ #1{\ifx#1\mathop\vphantom{#2}\fi \mathpalette\mov@rlay{#2\cr#3} } \ifx#1\mathop\expandafter\displaylimits\fi} \makeatother \newcommand{\cupdot}{\charfusion[\mathbin]{\cup}{\cdot}} \newcommand{\bigcupdot}{\charfusion[\mathop]{\bigcup}{\cdot}} \newcommand{\kaliLargeLand}{\mathop{\mathlarger{\mathlarger{\mathlarger{\land}}}}} \newcommand{\hebtext}[1]{\mbox{\R{\#1}}} theorems-starred customHeadersFootersStyle Section Font Series Medium Shape Smallcaps Size Larger Series Bold EndFont TocLevel 1 End Style Section* Font Series Medium Shape Smallcaps Size Larger Series Bold EndFont End Style Solution LabelString "פתרון: "End Style Notation LabelString "סימון \thetheorem: "End Style Theorem LabelString "משפט \thetheorem: "End Style Property LabelString "תזכורת: "End
עקרונות מנחים לכתיבת פקודות Macros LatexCommand ruleoffset "0.5ex"width "100col%"height "1pt"
  1. כל פקודה תתחיל ב-MK גדולות עש מיכאל קלי (Michael Kali), וזאת משתי סיבות:
    1. כדי שבטבלת הקיצורים שבתוך \SpecialChar LyX תופענה כל הפקודות זו לצד זו.
    2. הבחירה דווקא באותיות גדולות נועדה לוודא שהפקודות אינן מתנגשות עם פקודות \SpecialChar LaTeX מקוריות.
  2. על הפקודות להיות קצרות ככל האפשר, וזאת כדי לאפשר את כתיבתן במהירות מבלי ליצור להן קיצור מקלדת. הסיבה לכך שלא ניצור קיצור מקלדת לכל פקודה היא שפעמים רבות ניצור פקודות שתיועדנה למקרים מסוימים מאוד, ואז יעבור זמן רב עד שנשתמש בקיצור המקלדת בפעם הבאה ולכן לא נזכור אותו - הרבה יותר פשוט לזכור את הפקודה שיצרנו מכיוון שיש לה תוכן אמיתי שקשור לפלט הרצוי מן הפקודה. סיבה נוספת היא שיצירת קיצור מקלדת לכל פקודה ולו החריגה ביותר תקשה עלינו ליצור קיצורי מקלדת לפקודות חשובות יותר.
    לפיכך פקודות שימושיות מאוד שבוודאי ניצור להן קיצור מקלדת ונשתמש בו פעמים רבות אינן צריכות להיות קצרות.
  3. כדי להקל על כתיבת פקודות שלא יצרתי להן קיצור מקלדת כתבתי קיצור מקלדת שיוצר את הקידומת של כל פקודות ה-macros שלי ואז כל מה שנותר הוא להקיש שלוש-ארבע אותיות כדי לבחור את הפקודה הרצויה, קיצור המקלדת המדובר הוא "Ctrl+k".
  4. לכל גופן יש קידומת בת שתי אותיות.
קבוצות ופונקציות לפי קורסיםLatexCommand ruleoffset "0.5ex"width "100col%"height "1pt"
המספרים המרוכבים ופונקציות מרוכבות
cos+isin. המספרים המרוכבים.
החלק הממשי של מספר מרוכב. המספרים המרוכבים.
החלק המדומה של מספר מרוכב. המספרים המרוכבים.מופיע גם כתמונה של פונקציה.
אינדקס ליפוף. מרוכבות.
שארית (residue). מרוכבות.
אינפי', יריעות ופונקציונלית
סינוס היפרבולי הפוך, אינפי'.
קוסינוס היפרבולי הפוך, אינפי'.
טנגנס היפרבולי הפוך, אינפי'.
יחס אורך-רוחב (aspect ratio). אינפי'.
סגור (closure). אינפי'.
קוטר (diameter). אינפי'.
דיברגנץ (divergence). יריעות.
חוץ (exterior). אינפי'.
פנים (interior). אינפי'.
נורמה אופרטורית. אינפי'.
נפח של קבוצה (volume). יריעות.
התומך של פונקציה (support). פונקציונלית.
אלגברה ליניארית ומבנים אלגבריים
המטריצה המצורפת (adjoint). ליניארית.
חבורת האוטומורפיזמים. מבנים.
המציין של שדה. מבנים.
הליבה של חבורה (core). מבנים.
קבוצת האנדומורפיזמים. ליניארית ומבנים.
קבוצת נקודות השבת של פונקציה או איבר בחבורה. מבנים.
חבורת גלואה של הרחבת שדות. מבנים.
חבורת המטריצות ההפיכות. מבנים.
קבוצת ההומומורפיזמים. ליניארית ומבנים.
חבורת האוטומורפיזמים הפנימיים (inner). מבנים.
דרגת האפסיות של העתקה. ליניארית.
חבורת המטריצות האורתוגונליות.
חבורת האוטומורפיזמים החיצוניים (outer). מבנים.
דרגה של מטריצה/העתקה. ליניארית.
משמש לסימון הסגור הספרבילי של שדה. מבנים.
חבורת המטריצות בעלות דטרמיננטה 1. ליניארית ומבנים.
חבורת המטריצות האורתוגונליות בעלות דטרמיננטה 1. ליניארית.
חבורת המטריצות האוניטריות בעלות דטרמיננטה 1. ליניארית.
פרוש. ליניארית.
עקבה (trace). ליניארית.
תורת הקבוצות
איחוד זרתודה למיכאל קלי שכתב את הפקודה.
איחוד זר גדולתודה למיכאל קלי שכתב את הפקודה.
תחום ההגדרה של פונקציה (domain). קבוצות.
הטווח של פונקציה (range). קבוצות.
תמונה של פונקציה.מופיע גם כחלק מדומה של מספר מרוכב.
קבוצת הסדרות הסופיות של איברים מתוך קבוצה נתונה.
תורת ההסתברות
שוויון בין משתנים מקריים כמעט תמיד (almost surely).
שוויון בין משתנים מקריים כמעט תמיד (almost surely).
שוויון בין משתנים מקריים כמעט תמיד (almost surely).
שונות (variance).
שונות (co-variance).
שוויון התפלגויות (distributions) בין משתנים מקריים.
התפלגות ברנולי.
התפלגות אחידה.
התפלגות גאומטרית.
התפלגות בינומית.
התפלגות פואסון.
התפלגות היפר-גאומטרית.
שונותLatexCommand ruleoffset "0.5ex"width "100col%"height "1pt"
מדעי המחשב
דרגת הכניסה של קודקוד. דיסקרטית ודאסט.
דרגת היציאה של קודקוד. דיסקרטית ודאסט.
ערך שקר של פסוק. דיסקרטית ואינטרו.
ערך null. דאסט.
ערך אמת של פסוק. דיסקרטית ואינטרו.
פיזיקה
קיצור של total, מכניקה.
קיצור של external, מכניקה.
קיצור של constant, מכניקה.
קיצור של effective, מכניקה.
מספרים שלמים
קבוצת הזוגיים
קבוצת האי-זוגיים
קבוצת הראשוניים. תורת המספרים.
פונקציות שונות
פונקציית הזהות.
כפולה משותפת מינימלית
סדר (order). תורת המספרים.
פונקציית הסימן
גופניםLatexCommand ruleoffset "0.5ex"width "100col%"height "1pt"
גופן mathbb: הטבעיים, השלמים. הרציונליים. הממשיים. המרוכבים ועוד
המספרים המרוכבים
שדה
המספרים הטבעיים
המספרים הרציונליים
המספרים הממשיים
המספרים השלמים
פונקציה מציינת - אינדיקטור
גופן mathcal: בסיסים, קבוצת חזקה, העתקות גלואה, המילטוניאן ועוד
גופן mathscr: ?
גופן mathfrak: אותיות גותיות לעוצמות
כתיבת סדרות במהירותLatexCommand ruleoffset "0.5ex"width "100col%"height "1pt"
תודה למיכאל קלי שכתב את הפקודה.
תודה למיכאל קלי שכתב את הפקודה.
תודה למיכאל קלי שכתב את הפקודה.
תודה למיכאל קלי שכתב את הפקודה.
חשבון אינפיניטסימלי (2) - 80132
מרצה: יורם לסט
מתרגלים: דניאל אופנר ומתן בן-אשר
נכתב ע"י: שריה אנסבכר
סמסטר א' תשפ"ג, האונ' העברית
אשמח לקבל הערות והארות על הסיכומים על מנת לשפרם בעתיד,
כל הערה ולו הפעוטה ביותר (אפילו פסיק שאינו במקום או רווח מיותר) תתקבל בברכה;
אתם מוזמנים לכתוב לי לתיבת הדוא"ל: sraya.ansbacher@mail.huji.ac.il.
לסיכומים נוספים היכנסו לאתר:
אקסיומת השלמות - סיכומי הרצאות במתמטיקה
https://srayaa.wixsite.com/math

1 מהו שטח?

מה עובר לכם בראש (מבחינה אינטואיטיבית) כשאנחנו מדברים על "שטח"?
לפני שאוכל להמשיך אצטרך להסביר למה אני מתכוון שאני מדבר על "הזחה"1לא מצאתי שום מקור שמדבר על "הזחה" באופן דומה, קרוב לוודאי שקראתי ספר יחיד שדיבר בשפה זו או שהמצאתי את המושג בעצמי. ולשם כך אתן כמה דוגמאות:
  1. ישר הוא הזחה של נקודה בשיפוע קבוע
  2. מלבן הוא הזחה של קטע אחד לאורך קטע אחר המאונך לו
  3. מקבילית היא הזחה של ישר אחד לאורך קטע אחר ללא תלות בזווית שביניהם ובלבד שלא יהיו מקבילים
  4. עיגול הוא הזחה של "מחוג" באורך הרדיוס של העיגול כשאחד מקצותיו נותר קבוע במקומו והאחר מסתובב סביבו סיבוב שלם
  5. תיבה היא הזחה של מלבן לאורך קטע המאונך למישורים שבהם עובר המלבן בתהליך ההזחה
  6. פירמידה היא הזחה של מצולע לאורך קטע המאונך לו כאשר המצולע קטן ביחס ישר למרחק שנשאר עד לסיום ההזחה
כלומר הזחה של צורה (קבוצת נקודות כלשהי) במרחב לאורך עקומה כלשהי היא קבוצת כל הנקודות שהצורה "עוברת" בהן שמזיזים אותה לאורך העקומה.
לא מדובר במושג מתמטי מוגדר היטב (למרות שאולי ניתן לפרמל אותו) וכפי שציינתי בהערה לא מצאתי אך אחד אחר שמדבר על הזחה באופן דומה.
כשאנחנו מדברים על "שטח" עוברת אצלי מחשבה על מין "סכימה רציפה" של כל הנקודות שבתוך היקף הצורה הנתונה2וכפי שאתם יכולים לנחש מהדוגמה הראשונה שנתתי, יש לי מחשבה דומה גם כשאנחנו מדברים על "אורך"., כמובן שאי אפשר לבצע זאת באמת ובכל זאת יש לזה משמעות:
זוכרים שביסודי, כשלמדנו על פעולת הכפל, קראנו את 74 כ-7 פעמים 4? האמירה הזו בעצם מרמזת על כך שאנו חושבים על פעולת הכפל כקיצור לכתיבה של סכום3ואכן, עבור כפל של שני מספרים שלפחות אחד מהם שלם ניתן להגדיר את הכפל כחיבור כך וכך פעמים (בדומה לצורה שבה הגדרנו את הקשר בין חזקה טבעית לכפל), אולם כבר עבור מכפלה של שני רציונליים א"א לעשות זאת ולכן נזקקו המתמטיקאים להגדיר שתי פעולות על השדה ולא אחת בלבד.,
כשאני רוצה לחשב את שטחו של מלבן שאורכי צלעותיו הם 4 ו-7 אני בעצם חושב על קטע באורך 4 שאותו אני מזיח לאורך קטע באורך 7;
כלומר אני מבצע "סכימה רציפה" של קטע באורך 4 שבע "פעמים", כאשר כאן המילה "פעמים" אינה מתייחסת לסכום עם שישה סימני "+" אלא למה שכיניתי "סכימה רציפה" - אני "סוכם" את כל הקטעים באורך 4 שמופיעים בתוך המלבן וכאלה ישנם "שבעה". זו הסיבה (האינטואיטיבית) לכך שברור לכולנו ששטח מלבן הוא מכפלת אורכי צלעותיו.
בעצם ניתן לחשוב על "הסכימה הרציפה" בצורה הבאה: אני "שם" את המלבן במערכת צירים ומעביר ישר על פני המישור מקצה אחד של המלבן עד לקצהו השני ובכל נקודה אני "שומר" את כמות הנקודות בישר שנמצאות בתוך המלבן ו"מוסיף" את ה"מספר" הזה למה ש"סכמתי" עד כה, את האינטואיציה הזו ניתן להכליל עבור כל צורה שהיא (שימו אותה במערכת צירים והעבירו ישר...) ובהמשך אנחנו נראה שההגדרה של אינטגרביליות לפי רימן מפרמלת בדיוק את זה.

2 איך מחשבים שטח של צורה נתונה?

אנחנו יודעים לחשב שטח של מלבן בצורה ישירה ע"י הכפלת אורכי שתיים מצלעותיו הניצבות זו לזו אך מה בדבר צורות אחרות?
ע"פ עיקרון הסימטריה ניתן לחשב את השטח של משולש ישר זווית: ניתן להציג שני עותקים של כל משולש ישר זווית ע"י סרטוט מלבן יחיד4לכל משולש ישר זווית קיים מלבן יחיד כזה. ואחד מאלכסוניו, לכן השטח של כל משולש ישר זווית הוא חצי משטחו של המלבן המתאים.
ניתן להכליל את השיטה הזו גם עבור משולש חד זוויות (מורידים אנך בתוך המשולש...), ואפילו עבור משולש קהה זווית (קצת יותר מסובך ואין זה מענייננו כעת), ומכאן לכל מצולע מפני שניתן לחלק כל מצולע למשולשים.
עד כאן היה לנו מזל אבל לא לכל צורה ניתן למצוא קשר ישיר למלבן או למשולש, מה נעשה במקרים כאלה?
כאן בא לעזרתנו מושג הגבול, נניח שאנו רוצים לחשב שטח של עיגול, ודאי ששטח העיגול קטן משטח הריבוע שחוסם אותו וגדול משטח הריבוע הנחסם על ידו; ניתן להוסיף לריבוע החסום עוד ועוד מלבנים קטנים יותר בתוך שטח העיגול או לחסר מהריבוע החוסם את העיגול עוד ועוד מלבנים קטנים יותר מחוץ לשטח העיגול5ניתן כמובן לשלב בין שתי השיטות כך שיהיו שטחים שאינם חלק מהעיגול ויכוסו ע"י מלבנים ויהיו במקביל חלקים מהעיגול שלא יכוסו ע"י מלבנים.. הנקודה היא שככל שגדלי המלבנים הללו קטנים יותר6ובהנחה שכאשר אנו מוסיפים מלבנים איננו יכולים להוסיף מלבן שכל שטחו אינו בתוך העיגול, ובהתאמה, כאשר אנו מחסרים מלבנים איננו יכולים לחסר מלבן שכל שטחו בתוך העיגול. אנו נתקרב יותר ויותר אל מה שמבחינה אינטואיטיבית הוא "שטח העיגול", לכן ניתן להגדיר את השטח של העיגול כגבול של סכום שטחי המלבנים כאשר גודל כל אחד מהם בנפרד שואף לאפס.

3 מה הקשר בין שטח לאינטגרלים?

בואו נניח שאני נוסע בקו ישר מנקודה x0 במהירות קבועה v, איפה אהיה בעוד שעה? כולנו מכירים את הנוסחה מהתיכון "מהירות כפול זמן שווה דרך"7למעשה ההגדרה הבסיסית ביותר של מהירות היא "דרך חלקי זמן"., מכאן שלכל t[0,) המיקום שלי בזמן t יהיה X(t)=x0+vt לכל t[0,).
כעת נגדיר את הפונקציה V להיות הפונקציה של המהירות כתלות בזמן, במקרה זה מתקיים V(t)=v לכל t[0,); ניזכר שהמהירות היא הנגזרת של המיקום כתלות בזמן ואכן לכל t[0,) מתקיים X(t)=v=V(t) ומכאן ש-V(t)dt=X(t)+C.
נסמן ב-VS(t) את השטח מתחת לגרף הפונקציה V על הקטע [0,t] וראו איזה פלא: מתקיים VS(t)=vt=X(t)x0=V(t)dt.
לקחתי מקרה פשוט מדי, נכון? מה קורה אם אני נוסע בתאוצה קבועה a? במקרה כזה נקבל שלכל t[0,) מתקיים V(t)=v0+at, כאשר v0 היא המהירות ההתחלתית (כאשר t=0);
במקרה כזה השטח מתחת לגרף של פונקציית המהירות הוא שטח המלבן שאורכו t ורוחבו v0 ועוד שטח המשולש ישר הזווית שאורך צלעותיו t ו-at, א"כ השטח שמתחת לגרף הוא v0t+a2t2.
מי שלמד פיזיקה בתיכון אולי ייזכר כעת שבמקרה כזה הנוסחה של המיקום היא8האמת היא שכאן אני בעצם מרמה, הנוסחה הזו התקבלה ע"י אינטגרציה של V: V(t)dt=v0t+a2t2+C.:X(t)=x0+v0t+a2t2ואכן לכל t[0,) מתקיים X(t)=v0+at=V(t) ושוב מתקיים גם VS(t)=v0t+12att=X(t)x0=V(t)dt.
למה זה עובד? נשים לב שלכל פונקציה גזירה, פונקציית הנגזרת שלה עושה בדיוק את מה שתיארתי בפרק הראשון של הקדמה זו: בכל נקודה פונקציית הנגזרת "שומרת" את השינוי בערכה של הפונקציה הקדומה (כמו שהישר שהעברנו על פני הצורה הנתונה "שמר" את תוספת9במקרה של חישוב שטח צורה כל השינויים הם אי-שליליים ואפילו חיוביים ממש, במקרה של פונקציה השינוי יכול להיות גם שלילי עד כדי כך שאולי אפילו נקבל "שטח שלילי". השטח בכל נקודה), כדי לבצע "סכימה רציפה" על כל ה"מספרים" השמורים הללו כל שעלינו לעשות הוא להעביר את את הישר שלנו על פני הגרף של הנגזרת ובכל נקודה "לשמור" את ערך הנגזרת ו"להוסיף" אותו למה ש"נסכם" עד כה - זהו בדיוק השטח שבין גרף הנגזרת לציר ה-x!
כמובן, כפי שראינו בחלק השני של הקדמה זו, הצורה הפורמלית לחשב את השטח הזה היא לקרב את השטח ע"י מלבנים שגובהם חותך את גרף הפונקציה ואז להשאיף את גודל הצלע השנייה ל-0 ובכך להשאיף גם את גודל המלבנים ל-0, זוהי בדיוק ההגדרה של אינטגרל רימן.
לו הייתי יכול להכניס את האנימציה הזו לקובץ PDF הייתי מוסיף אותה כאן שכן היא מסכמת את הנאמר בצורה נהדרת.

4 דוגמאות

לאחר שנוכיח את הקשר בין האינטגרל הלא מסוים לבין השטח שמתחת לגרף הפונקציה נוכל לחשב את הנפח של פירמידה ששטח בסיסה הוא S וגובהה הוא h:
נשים לב שלכל x[0,h] שטח החתך המתאים הוא (xh)2S (היקף המלבן10או כל צורה אחרת של הבסיס, כולל עיגול ואז נקבל נפח של חרוט. המהווה את החתך עולה בקצב ליניארי ולכן שטחו גדל בקצב ריבועי),
כאשר x=h פירושו החתך בגובה בסיס הפירמידה ו-x=0 פירושו החתך בקודקוד הפירמידה.
נגדיר V:[0,h]R ע"י V(x)=(xh)2S ומכאן שנפח הפירמידה מתקבל ע"י החישוב הבא:V(x)dx=x2h2S dx=Sh2x2 dx=Sh2x33+C=S3h2x3+CVΔ=0hV(x)dx=S3h2h3S3h203=Sh3וקיבלנו את הנוסחה המוכרת מהתיכון.
בצורה דומה נוכל לחשב נפח של כדור שרדיוסו הוא r:
נשים לב שלכל x[r,r] שטח החתך המתאים הוא π(r2x2)211הנוסחה של חצי מעגל שמרכזו בנקודה (0,0) ורדיוסו r היא r2x2, כעת, לאחר שקיבלנו את אורך הרדיוס של החתך נעלה אותו בריבוע ונכפיל ב-π כדי לקבל את שטח החתך. נגדיר V:[0,r]R ע"י V(x)=π(r2x2)12אנו מסתכלים רק על החלק שבצד החיובי כדי שלא נקבל שהוא מתאפס יחד עם השלילי, אח"כ נכפיל את התוצאה ב-2. ומכאן שנפח הכדור מתקבל ע"י החישוב הבא:V(x)dx=π(r2x2)dx=πr2x2dx=π(r2xx33)+CV=20rV(x)dx=2π(r2rr33)2π(r20033)=2π(r3r33)=2π2r33=4πr33וקיבלנו עוד נוסחה מדף הנוסחאות של התיכון.
אנחנו יודעים גם ששטח עיגול שרדיוסו הוא r שווה ל-40rr2x2 dx אך מכיוון ש-π הוא מספר טרנסצנדנטי לא נוכל להציג את האינטגרל בצורה טובה יותר לעת עתה, זו הסיבה לכך שהתחלתי לחשב נפחים במקום להראות חישוב "בסיסי יותר" של שטח עיגול או אליפסה.
הנה ניסיון שלי בילדותי לקשר בין π של היקף העיגול לבין π של שטחו: ניקח "מחוג" באורך רדיוס העיגול ונזיח אותו כשאחד מקצותיו נותר קבוע במקומו והאחר מסתובב סביבו סיבוב שלם, א"כ כמו שחישבנו את שטח המלבן נקבל כעת ששטח העיגול הוא 2πr "פעמים" r, כלומר 2πr2! למה זה לא עובד? למה האינטואיציה של הוכחת התוספות הצליחה בעוד ששלי נכשלה?
ובכן התשובה ברורה: למה החלטתי שאורך העקומה שלאורכה אני מזיח את המחוג היא 2πr? הרי בכל נקודה של המחוג אורך העקומה שונה! מכאן אנחנו למדים שהאינטואיציה עובדת באופן פשוט רק כאשר העקומה שלאורכה אנו מזיחים את הצורה המדוברת מאונכת לאותה צורה13מכיוון שהשטחים היחידים שאנחנו באמת יודעים לחשב הם של מלבנים ולפיהם הגדרנו את מושג השטח.; אחרת יש לבצע תיקונים, במקרה הזה התיקון הנדרש הוא חישוב ממוצע בין אורכי העקומות השונות שמרכיבות את המסלול של כל נקודה במחוג ומכיוון שאין שום סיבה להעדיף אחת מהן על פני חברתה הממוצע הוא בדיוק πr אבל זה כבר ממש לא אינטואיטיבי ולא ברור שזה עובד ולכן כדאי להישאר עם האינטואיציה של הזחה במאונך לקטע המוזח.
אם בכל זאת רוצים לדעת כיצד לבצע תיקון ניתן להיעזר באינטואיציה הבאה: אם ניקח מקבילית שאינה מלבן ונזיח את אחת מצלעותיה לאורך אחת מהצלעות שאינה מקבילה לה נקבל את שטח המקבילית, אבל הכפלת אורכי הצלעות נותנת תשובה שגויה משום שהקטע המוזח אינו מאונך לקטע שלאורכו הוא מוזח; לכן צריך להכפיל את התשובה השגויה ב-sinα כאשר α היא אחת הזוויות במקבילית (לא משנה איזו כי sinα=sin(πα)) כדי לקבל מהקטע השגוי את הקטע הנכון. באותה דרך ניתן לתקן כל חישוב שבו הקטע השגוי בעל זווית קבועה בינו לבין הקטע הנכון לאורך כל ההזחה, אך לא מצאתי דרך לבצע את התיקון הזה באינטואיציה שלי עם המחוג מפני שלא מצאתי את הישר הנכון.
למיטיבי לכת: מיד לאחר ההסבר על הקשר בין היקף העיגול לשטחו התוספות עוברים להוכיח שמתקיים 1.4<2.
תהיתם פעם למה π של היקף העיגול הוא אותו π של שטחו? כלומר למה היחס בין שטח עיגול לריבוע הרדיוס שלו שווה ליחס בין היקף העיגול לקוטרו?
לפני שנמשיך נסכים על כך ש-π מוגדר להיות היחס בין היקף היקף העיגול לקוטרו, כלומר ההיקף של עיגול שרדיוסו r הוא 2πr, זוהי ההגדרה של π ואנחנו עדיין לא יודעים ששטחו הוא πr2 - זה בדיוק מה שעלינו להוכיח.
במסכת סוכה דף ח.14האות חי"ת מתייחסת לדף השמיני של המסכת (כשהדף הראשון הוא השער של הספר ולא הדף הראשון של הטקסט), והנקודה הבודדת אומרת שמדובר בעמוד הראשון של הדף (לדף יש שני צדדים וכל אחד מהם נקרא "עמוד"), אם היינו רוצים לדבר על הדף השני היינו כותבים "ח:". דנה הגמרא מה צריך להיות גודלה של סוכה עגולה כדי שתיחשב כשרה וכחלק מהדיון מזכירה ששטח עיגול הוא (בקירוב) 34 משטח הריבוע החוסם אותו, התוספות שם15בדיבור המתחיל "כמה מרובע יתר על העיגול רביע". מראים כיצד ניתן להגיע למסקנה זו16מקור ההוכחה בספר "חיבור המשיחה והתשבורת" שכתב רבי אברהם בר חייא (המאות ה-11 וה-12) שהיה הראשון להביא את האלגברה הערבית לאירופה הנבערת של תקופתו (בתוך תחומים מדעיים נוספים) ובכך מילא תפקיד חשוב בהתפתחות המתמטיקה (מקור: ויקיפדיה העברית בערך הנ"ל)., בעמוד הבא מופיע ציטוט17הציטוט נלקח מוויקיטקסט (ראו כאן), ההערות בסוגריים והפיסוק הם משלי. סוף דבריהם18לפני כן הם טורחים לבטל את הסברה שיש קשר ליניארי בין ההיקף של ריבוע לשטחו. והסבר שלי.
"...ואם באנו לכוין החשבון דמרובע יתר על העגול נוכל להוכיח בענין זה שתעשה נקודה של משהו (נקודה שאין לה שטח - עיגול קטן לאינסוף) ותקיפנה בחוטין הרבה סביב זה סיבוב אחר סיבוב עד שירחיבו ויגדל רוחב בעוגל טפח על טפח (עד שהקוטר יהיה באורך טפח ולכן הריבוע החוסם יהיה טפח על טפח); ואחר כך תחתך החוטין מן הנקודה ולמטה (ראו חלק מס' 1 באיור למטה), דהיינו מחצי רוחב עיגול ולמטה, ואחר שיחתכו יתפשטו כל החוטין מימין ומשמאל ונמצא כל חוט הולך ומאריך מחבירו משהו מכאן ומשהו מכאן עד שאתה מגיע לחוט העליון דארכו ג' טפחים שהוא חוט החיצון שהוא מסבב טפח על טפח דכל שיש ברוחבו טפח (כל עיגול שקוטרו באורך טפח) יש בהיקפו שלשה טפחים (היקפו הוא שלושה טפחים - הקירוב של π שהגמרא והתוספות משתמשים בו הוא 3). נמצאו החוטין הללו סדורין כענין זה:
כמין רצועה רחבה באמצע חצי טפח, והיינו כנגד הנקודה, מכאן ומכאן כלה והולכת וצרה עד משהו (עד 0, כלומר מדובר במשולש שווה שוקיים שאורך הבסיס שלו הוא 3 טפחים ואורך הגובה שלו הוא 12 טפח, ראו חלק מס' 2 באיור לעיל). ואם באת לחזור ולחלק אותה באמצע היינו כנגד הנקודה תמצא שתי רצועות שכל אחת ארכה טפח ומחצה ומצד אחת רחבה חצי טפח ומצד אחת כלה עד משהו (כלומר מדובר בשני משולשים ישרי זווית שאורך אחד מניצביו הוא 112 טפחים וארך האחר 12 טפח, שוב החלק מס' 2), ועתה תצטרף אלו שתי הרצועות ושים הארוך כנגד הקצר את תמצא רצועה ארכה טפח ומחצה על רוחב חצי טפח (חבר את שני המשולשים זה לזה כך שייווצר מלבן שאורכי צלעותיו כאורכי הניצבים של שני המשולשים, ראו חלק מס' 3 באיור); תחלוק אותה לשלש רצועות תמצא בה שלש רצועות מחצי טפח על חצי טפח (נחלק את המלבן לשלושה ריבועים חופפים שאורך צלעותיהם הוא חצי טפח), ואילו רצועה מרובעת של טפח (ריבוע שאורך צלעותיו הוא טפח - שהוא הריבוע אליו אנו משווים את העיגול) כשתחלקנה שתי וערב תמצא בה ארבע רצועות של חצי טפח על חצי טפח הרי לך מרובע יתר על העיגול רביע."
הסבר של דברי התוספות בשפה אינטואיטיביתניקח עיגול שקוטרו 2r נחתוך בו רדיוס ו"נפתח" את העיגול למשולש שווה שוקיים שאורך בסיסו כאורך היקף העיגול, והמרחק בין כל שתי נקודות הנמצאות באותו הגובה בשוקיים הוא כהיקף העיגול שאורך רדיוסו הוא המרחק בין הקטע שבין שתי הנקודות לבין הקודקוד שבין שתי השוקיים. הסיבה לכך שאכן קיבלנו משולש היא ההנחה שלנו שקיים יחס ישר בין היקף המעגל לקוטרו ולרדיוסו, ולכן הפונקציה המתאימה לכל נקודה על הרדיוס את היקף המעגל המתאים היא פונקציה ליניארית.
א"כ שטח העיגול הוא כשטח משולש שווה שוקיים שאורך בסיסו הוא 2πr וגובהו r, כלומר:2πrr2=πr2
דברי התוספות - "צורת הדף"
lyxscale 40


אם נרצה להמיר את ההוכחה של התוספות לשפה האינטואיטיבית שדיברנו בה קודם אז נאמר שאנו לוקחים "מעגל" ברדיוס 0 ומזיחים אותו לאורך רדיוס העיגול כך שהמעגל גדל בהתאם לרדיוס, הפונקציה המתארת את גודל המעגל כתלות ברדיוס היא הפונקציה f(x)=2πx שהשטח מתחת לגרף שלה הוא משולש ישר זווית שאורך ניצבו האחד כאורך רדיוס העיגול ואורך ניצבו האחר הוא כהיקף העיגול ושוב קיבלנו את הנוסחה:2πrr2=πr2נשים לב לכך ש-f(x)dx=2πx dx=πx2+C ולכן הפירמול של האינטואיציה הזו הוא באמירה ששטח העיגול הוא האינטגרל:0r2πx dx=πr2π02=πr2

רוצים לפרגן לי על בניית האתר וכתיבת הסיכומים? אתם מוזמנים לתת טיפ.

פורמטים נוספים: